Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
411	Decentralised LTL Monitoring Andreas Bauer1 and Yli`es Falcone2, 1 NICTA Software Systems Research Group and Australian National University Laboratoire d’Informatique de Grenoble, UJF Universit´e Grenoble I, France Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-07-09 20:09:43 Linear temporal logic Temporal logic Model theory
412	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
413	Technical Note July 18, 2010 O(1/) Lower Bounds for Convex Optimization with Stochastic Oracles Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-07-18 08:07:51 Operator theory Differential geometry Mathematics Applied mathematics Linear temporal logic Spectral theory of ordinary differential equations Mathematical optimization Operations research Oracle machine
414	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
415	Math.comput.sci[removed]), 355–378 c 2008 Birkh¨ auser Verlag Basel/Switzerland[removed]-24, published online December 5, 2008 DOI[removed]s11786[removed] Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:54 Mathematics Interpretation Structure Symbol Linear temporal logic Golden ratio base Model theory Metalogic Logic
416	Overview Modelling Algorithmic Verification Comp4151 Lecture 4-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Order theory Knaster–Tarski theorem Functions and mappings Symbol Entailment Function Linear temporal logic Logic Mathematics Abstraction
417	Linear Dependent Types for Differential Privacy Marco Gaboardi?‡ Andreas Haeberlen? ? Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-05-23 12:45:27 Mathematical analysis Symbol Interpretation Golden ratio Structure Dynamical system Μ operator Linear temporal logic Mathematics Model theory Mathematical logic
418	Parameterised Electromagnetic Scattering Solutions for a Range of Incident Wave Angles P.D. Ledger∗1 , J. Peraire† , K. Morgan∗ , O. Hassan∗ & N.P. Weatherill∗ ∗ Civil and Computational Engineering Centre, U Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2005-08-31 10:34:58 Calculus Euclidean plane geometry Golden ratio Trigonometric functions Polar coordinate system Curvilinear coordinates Wave equation Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Mathematics Coordinate systems
419	Journal of Machine Learning Research ? ([removed]Submitted 8/09; Published ??/?? Information, Divergence and Risk for Binary Experiments Mark D. Reid Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-08-23 23:03:10 Generalized functions Functional analysis Bregman divergence Distribution Function Static single assignment form Calculus of variations Golden ratio Linear temporal logic Mathematical analysis Mathematics Geometry
420	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic

UPDATE